🇬🇧 en fi 🇫🇮

Gödel's incompleteness theorem properNoun

  • (logic, mathematics) Either of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
 Gödelin epätäydellisyyslause
Wiktionary Links